翻訳と辞書 Words near each other ・ Morten Jensen (track athlete) ・ Morten Jentoft ・ Morten Johansen ・ Morten Juul Hansen ・ Morten Jørgensen ・ Morten Karlsen ・ Mortal Thoughts ・ Mortal Throne of Nazarene ・ Mortal Treason ・ Mortal Way of Live ・ Mortal wound ・ Mortales la serie ・ Mortalis ・ Mortality ・ Mortality (book) ・ Mortality (computability theory) ・ Mortality displacement ・ Mortality drag ・ Mortality forecasting ・ Mortality Medical Data System ・ Mortality rate ・ Mortality salience ・ Mortalium animos ・ Mortalla ・ Mortals (novel) ・ Mortantsch ・ Mortar ・ Mortar (masonry) ・ Mortar (weapon) ・ Mortar and pestle Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Mortality (computability theory) ： ウィキペディア英語版 Mortality (computability theory) In computability theory, the mortality problem is a decision problem which can be stated as follows: :''Given a Turing machine, decide whether it halts when run on any configuration (not necessarily a starting one)'' In the statement above, the configuration is a pair , where q is one of the machine's states (not necessarily its initial state) and w is an infinite sequence of symbols representing the initial content of the tape. Note that while we usually assume that in the starting configuration all but finitely many cells on the tape are blanks, in the mortality problem the tape can have arbitrary content, including infinitely many non-blank symbols written on it. Philip K. Hooper proved in 1966 that the mortality problem is undecidable. However, it can be shown that the set of Turing machines which are mortal (i.e. halt on every starting configuration) is recursively enumerable. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Mortality (computability theory)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.